Merge branch 'event-types' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 16 Apr 2020 20:36:24 +0000 (20:36 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 16 Apr 2020 20:36:24 +0000 (20:36 +0000)
Rework event types

Closes #2585

See merge request GNOME/gtk!1702


Trivial merge